graph theory:end-vertex